max

The maximum value of a StrictlyNegativeInt.